Evaluating Hazard Mitigations with Dependability Cases
نویسندگان
چکیده
There is growing interest in using a structure of claims, arguments, and evidence to explain why all critical software hazards have been eliminated or adequately mitigated in mission-critical and safety-critical systems. Such a structure has been called a dependability case, an assurance case, or a (goal-structured) safety case. Dependability cases are sometimes viewed as adding no extra value, e.g., given an existing hazard analysis, what is the added value of a dependability case showing how the hazard is mitigated? In this paper we present an example to show the value a dependability case adds to a traditional hazard analysis.
منابع مشابه
Improving Hazard Classification through the Reuse of Descriptive Arguments
Descriptive arguments are an intrinsic part of the process of determining the dependability of any system, particularly in the case of safety critical systems. For such systems, safety cases are constructed to demonstrate that a system meets dependability requirements. This process includes the application of hazard analysis techniques. However, such techniques are error-prone, time consuming a...
متن کاملDependability and Security Models (Keynote Paper)
There is a need to quantify system properties methodically. Dependability and security models have evolved nearly independently. Therefore, it is crucial to develop a classification of dependability and security models which can meet the requirement of professionals in both fault-tolerant computing and security community. In this paper, we present a new classification of dependability and secur...
متن کاملPractical Limits on Software Dependability: A Case Study
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in which every aspect of software dependability can be demonstrated with high confidence. In this paper, we present the results of a case study exploration of the practical limitations on software dependability. We analyz...
متن کاملWorkshop On Dependability Benchmarking 2002
Assessing the quality of service of a computer system is a difficult task. A lot of work has been conducted on evaluating quality of service attributes like performance, robustness, and dependability. Two approaches used for evaluating performance and robustness are modeling and benchmarking. For evaluating dependability, modeling can be used either alone or combined with fault injection [Sie92...
متن کاملOffload zones to mitigate emergency medical services (EMS) offload delay in the emergency department: a process map and hazard analysis.
UNLABELLED Introduction Offload delay is a prolonged interval between ambulance arrival in the emergency department (ED) and transfer of patient care, typically occurring when EDs are crowded. The offload zone (OZ), which manages ambulance patients waiting for an ED bed, has been implemented to mitigate the impact of ED crowding on ambulance availability. Little is known about the safety or eff...
متن کامل